DBGen User Manual
نویسنده
چکیده
DBGen is a tool for Coq developers. It takes as input the definition of a term structure with bindings annotations and generates definitions and properties for lifting and substitution in the De Bruijn setting, up to the substitution lemma. It provides also a named syntax and a translation function to the De Bruijn syntax.
منابع مشابه
طراحی ابزار دستی معلولان تتراپلژی 7C-5C با استفاده از روش UCD
Background and aims: One of the disorders which make some limitation for people is cervical spine injury. It causes disturbances in the upper sensory and motor extremities. This complication limits daily activities. The aim of this study is to design a manual toothbrush for cervical spinal cord handicapped (tetraplegia C5-C7) that is in compliance with the movement restrictions of this group....
متن کاملUsability evaluation of the user interface in electronic prescribing systems of Iran Health Insurance Organization and Social Security Organization
Introduction: The e-prescribing system is one of the basic technologies in the health system structure which was developed with the aim of properly managing healthcare resources and services, preventing common manual prescribing errors, and increasing patient safety. Given that the user interface of e-prescribing system is considered as the main factor of user acceptance, the purpose of the pre...
متن کاملLogtalk 3 User Manual User Manual Logtalk Features Logtalk Nomenclature Message Sending Ii Logtalk User Manual Predicates Inheritance Event-driven Programming Multi-threading Programming Iv Logtalk User Manual Error Handling Documenting Logtalk Programs Installing Logtalk Writing, Running, and Debugging Logtalk Programs
متن کامل
Logtalk 3 User Manual User Manual Logtalk Features Logtalk Nomenclature Message Sending Ii Logtalk User Manual Predicates Inheritance Event-driven Programming Multi-threading Programming Iv Logtalk User Manual Error Handling Documenting Logtalk Programs Installing Logtalk Writing, Running, and Debugging Logtalk Applications
متن کامل
Evaluating and improving the usability of a user manual
This research deals with user-testing as a means to improve the usability of a user manual. In Study 1 we analysed the effects of three different methods for user-testing a commercial user manual to a patient administrative system . Thirty nurses read the manual and noted difficulties found by either (1) making underlinings, (2) writing questions, or (3) verbalizing their comments aloud. Underl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1212.0253 شماره
صفحات -
تاریخ انتشار 2012